T. Kurahashi, "Arithmetical soundness and completeness for Σ₂ numerations"